- action precondition axiom
- постулат предусловий действия
English-Russian dictionary of computer science and programming. 2013.
action precondition axiom
Смотреть что такое "action precondition axiom" в других словарях:
Situation calculus — The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. It was first introduced by John McCarthy in 1963. The main version of the situational calculus that is presented in this article is based … Wikipedia
Dynamic logic (modal logic) — For the subject in digital electronics also known as clocked logic, see dynamic logic (digital electronics). Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs and later applied to more general… … Wikipedia
Israel — /iz ree euhl, ray /, n. 1. a republic in SW Asia, on the Mediterranean: formed as a Jewish state May 1948. 5,534,672; 7984 sq. mi. (20,679 sq. km). Cap.: Jerusalem. 2. the people traditionally descended from Jacob; the Hebrew or Jewish people. 3 … Universalium
Non-aggression principle — Part of a series on Libertarianism … Wikipedia
Ferdinand Canning Scott Schiller — Infobox Philosopher region = Western Philosophy era = 19th/20th century philosophy color = #B0C4DE image caption = Ferdinand Canning Scott Schiller name = F.C.S. Schiller birth = August 16 1864 death = August 9 1937 school tradition = Pragmatism… … Wikipedia
Holy Roman Empire — a Germanic empire located chiefly in central Europe that began with the coronation of Charlemagne as Roman emperor in A.D. 800 (or, according to some historians, with the coronation of Otto the Great, king of Germany, in A.D. 962) and ended with… … Universalium
Event calculus — The event calculus is a logical language for representing and reasoning about actions and their effects first presented by Robert Kowalski and Marek Sergot in 1986.It was extended by Murray Shanahan and Rob Miller in the 1990s.The basic… … Wikipedia
Science (Philosophies of) — Philosophies of science Mach, Duhem, Bachelard Babette E.Babich THE TRADITION OF CONTINENTAL PHILOSOPHY OF SCIENCE If the philosophy of science is not typically represented as a ‘continental’ discipline it is nevertheless historically rooted in… … History of philosophy
Jeremy Bentham — Full name Jeremy Bentham Born 15 February 1748(1748 02 15) London, England Died 6 June 1832 … Wikipedia
Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… … Wikipédia en Français
Hasidic philosophy — This article is about Hasidic philosophy. For an overview of the Hasidic movement, see Hasidic Judaism. Hasidus called the Torah of the Baal Shem Tov and his Wellsprings , after his account in a letter to Gershon of Kitov about the elevation of… … Wikipedia
